insert lambda symbol